package edu.pku.sei.mte.constants;

public enum SearchResult{
	UNKNOWN,
	SOURCE_NO_FOUND,
	NO_SATISFIED,
	PART_SATISFIED,
	ALL_SATISFIED
}
